Silvio Romero de Lemos Meira. Deriving Applicative Programs from Formal Specifications. In Ana Regina Cavalcanti da Rocha, editor, Proceedings of the 1st Brazilian Symposium on Software Engineering, SBES 1987, Rio de Janeiro, RJ, Brazil, October 22-23, 1987. pages 109-119, SBC, 1987. [doi]
Abstract is missing.