Reference: B. K. Aichernig and P. Lucas.
Formale Methoden in der Praxis.
In Unterlagen zum 1. Österreichischen ISA-EUNET Workshop, Wien.
Österreichische Computer Gesellschaft, AK Software Qualität und
Verläszlichkeit, 28. April 1999.
www-data,
2020-09-10