@inproceedings{davida.penny1991fsimp,
author = "David A. Penny and Richard C. Holt and Michael W. Godfrey",
title = "Formal Specification in Metamorphic Programming",
year = "1991",
booktitle = "Proc. of the 4th Intl. Symposium of VDM Europe"
}
David A. Penny, Richard C. Holt, and Michael W. Godfrey, "Formal Specification in Metamorphic Programming," 4th Intl. Symposium of VDM Europe