1. S. Austin and G. I. Parkin. Formal methods: A survey. Technical report, National Physical Laboratory, Great Britain, 1993.
2. M. Broy and S. Jähnichen, editors. Korrekte Software durch formale Methoden. Technische Universität Berlin, Franklinstraße 28–29, D-10587 Berlin, March 1993.
3. M. Löwe, F. Cornelius, J. Faulhaber, and R. Wessälly. Ein Fallbeispiel für KorSo — Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der TU Berlin — Ein Vorschlag. Technical Report 92–45, TU Berlin, 1992.