Implementierung einer Metasprache zur Definition von symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation. - Sutter, Peter (1976)