Meira, S.
(1987).
 Deriving Applicative Programs from Formal Specifications.
<em>Anais Do SimpóSio Brasileiro De Engenharia De Software (SBES), </em>, 109-119.
doi:10.5753/sbes.1987.25222