"A Naive Domain Universe for VDM."

Andrzej Tarlecki, Morten Wieth (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics