Andrzej Blikle, Mikkel Thorup
On Conservative Extensions of Syntax in the Process of System Development
FM, 1990.
@inproceedings{VDME-1990-BlikleT,
author = "Andrzej Blikle and Mikkel Thorup",
booktitle = "{Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development}",
doi = "10.1007/3-540-52513-0_25",
isbn = "3-540-52513-0",
pages = "504--525",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On Conservative Extensions of Syntax in the Process of System Development}",
volume = 428,
year = 1990,
}