Giovanna Petrone, Luigi Petrone
Program Development and Documentation by Informal Transformations and Derivations
TAPSOFT, 1985.
@inproceedings{CSE-1985-PetroneP,
author = "Giovanna Petrone and Luigi Petrone",
booktitle = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Software Engineering}",
doi = "10.1007/3-540-15199-0_15",
isbn = "3-540-15199-0",
pages = "231--245",
publisher = "{Springer}",
title = "{Program Development and Documentation by Informal Transformations and Derivations}",
year = 1985,
}