@inproceedings{2c603000fc3e4a5f8ddfa8221d50be98,
title = "A formal semantics for Z and the link between Z and the relational algebra",
author = "{van Diepen}, M.J. and {Hee, van}, K.M.",
year = "1990",
doi = "10.1007/3-540-52513-0_26",
language = "English",
isbn = "3-540-52513-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "526--551",
editor = "D. Bjorner and C.A.R. Hoare and H. Langmaack",
booktitle = "VDM'90, VDM and Z - Formal Methods in Software Development (Proceedings Third International Symposium of VDM Europe, Kiel, Germany, April 17-21, 1990)",
address = "Germany",
}