Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. LILOG-Report 42 (1988)