"VDM Development with ADA as the Target Language."

David O'Neill (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics