M.W.: Formal Specification in Metamorphic Programming (1991)

by D A Penny, R C Holt, Godfrey
Venue:LNCS