@InProceedings{bauer:gore:tiu:ictac09, author = {Andreas Bauer and Rajeev Gore and Alwen Tiu}, editor = {M. Leucker and C. Morgan}, title = {A first-order policy language for history-based transaction monitoring}, booktitle = {Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (ICTAC)}, year = 2009, series = {Lecture Notes in Computer Science}, volume = 5684, pages = {96--111}, month = Aug, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, isbn = {978-3-642-03465-7} }