LECTURE NOTES IN COMPUTER SCIENCE ; VDM '90 VDM AND Z -- FORMAL METHODES IN SOFTWARE DEVELOPMENT V.428 (Springer-Verlag, Berlin, 1990)