@inproceedings{f178b12f9a8c43c4acaa54b7fff4b9ae,
title = "Object-oriented modelling and specification using SHE",
author = "M.C.W. Geilen and J.P.M. Voeten",
year = "1999",
language = "English",
pages = "16--24",
editor = "R. Backhouse and J. Baeten",
booktitle = "VFM '99, First International Symposium on Visual Formal Methods, Eindhoven, Netherlands, 23 August 1999",
publisher = "Eindhoven University of Technology",
note = "conference; VFM '99, First International Symposium on Visual Formal Methods, Eindhoven, Netherlands, 23 August 1999 ; Conference date: 01-01-1999",
}