1. Verification of Sequential and Concurrent Programs;Apt,1997
2. Bartetzko D., C. Fischer, M. Möller and H. Wehrheim, Jass - Java with Assertions, in: K. Havelund and G. Roşu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, Electronic Notes in Theoretical Computer Science 55 (2001)
3. Brörkens M., “Trace- und Zeit-Zusicherungen beim Programmieren mit Vertrag,” Master's thesis, Universität Oldenburg (2002), in German
4. Brörkens M., and M. Möller, jassda Trace Assertions, in: I. Schieferdecker, H. König and A. Wolisz, editors, Trends in Testing Communicating System, International Conference on Testing Communicating Systems (TestCom), Berlin, Germany, 2002, pp. 39–48
5. Clarke E., E. Emerson and A. Sistla, Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach, in: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1983, pp. 117–126