Bjorner, D. et al. (Eds.) "VDM '87: Vienna Definition Method - A Formal Method at Work" Proc. of a Symposium in Brussels March 1987. LNCS 252. Springer Berlin 1987;

(1987)

Languages mentioned