Hans-Jörg Kreowski: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software 1992: 130-142