MARVIN: A tool for applicative and modular compiler specifications. Forschungsbericht Nr. 220 (1986)

by H Ganzinger, R Giegerich, M Vach
Venue:Univ. of