Meira, Silvio.
" Deriving Applicative Programs from Formal Specifications." <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (1987): 109-119. Web. 16 mai. 2024