author = {Peter Sutter},
title = {{Implementierung einer Metasprache zur Definition von auf symbolischen Daten operierenden Interpretern und ihr Einsatz in der Programmverifikation}},
language = {english},
year = {1976},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0},
type = {phdthesis}