-Bjorner et al. (Eds.): VDM '87.

[3]- A Formal Method at Work, Proceedings 1987, Springer-Verlag 1987