Deriving Specifications of Embeddings in Recursive Program Design. - Celestí Rosselló; José L. Balcázar; Ricardo Pena (Struct. Program., 1989)