"Compiler Prototyping with VDM and Standard ML."

R. D. Arthan (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics