P.B.: An Executable Subset of Meta-IV with Loose Specification (1991)

by P G Larsen, Lassen
Venue:In: VDM ’91: Formal Software Development Methods, VDM Europe, Springer-Verlag