1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23–73, Amsterdam, 1989. North-Holland.
2. T. Bemmerl and B. Ries. Programming Tools for Distributed Multiprocessor Computing Environments. International Journal of High Speed Computing, 5 (4): 595–615, December 1993.
3. CCITT. Recommendation 2100: Specification and Description Language SDL, Blue Book. ITU General Secreteriat — Sales Section, Place des Nations, CH-1211 Geneva 20, 1992.
4. P. Dauphin, F. Hartleb, M. Kienow, V. Mertsiotakis, and A. Quick. PEPP: Performance Evaluation of Parallel Programs — User’s Guide–Version 3.3. Technical Report 17/93, Universität Erlangen–Nürnberg, IMMD V II, September 1993.
5. P. Dauphin, M. Kienow, and A. Quick. Model-driven Validation of Parallel Programs Based on Event Traces. In Topham, Ibbett, and Bemmerl, editors, Proceedings of the “Working Conference on Programming Environments for Parallel Computing”, Edinburgh 6–8 April, pages 107–125, 1992.