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

by P G Larsen, Lassen
Venue:In: VDM '91: Formal Software Development Methods, Springer LNCS 551