Meira, S.
1987 out 22.  Deriving Applicative Programs from Formal Specifications. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :