@inproceedings{c4f9cff7840e4eec9dae677c9530336e,
title = "Executable specifications for distributed information systems",
author = "\{Hee, van\}, K.M. and L.J.A.M. Somers and M. Voorhoeve",
year = "1989",
language = "English",
isbn = "0-444-88323-1",
pages = "139--156",
editor = "E.D. Falkenberg and P. Lindgreen",
booktitle = "Information System Concepts (Proceedings of the IFIP TC 8-WG 8.1 Conference, Namur Belgium, October 18-20, 1989)",
publisher = "North-Holland Publishing Company",
address = "Netherlands",
}