Meira, Silvio.
" Deriving Applicative Programs from Formal Specifications." <em>Anais do I Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1987</em>. SBC, 1987,  
pp.109-119.