"Formal Specification in Metamorphic Programming", by David A. Penny, Richard C. Holt and Michael W. Godfrey, Proc. of the 4th International Symposium of VDM Europe , Springer-Verlag Lecture Notes in Computer Science no. 551, October 1991

Languages mentioned

• ABSTUR {1990}