Proc. IFIP Congress 94, North Holland Amsterdam, 1994.
(1994)
IFIP World Congress
Zemanek, Heinz (1994)
Zemanek, H.: "Early Foundations of Formal Modelling and Language Specification - VDL and VDM" pp251-270