MEIRA, Silvio Lemos.
Deriving Applicative Programs from Formal Specifications.
Anais do Simpósio Brasileiro de Engenharia de Software (SBES), [S.l.], p. 109-119, out. 1987.
ISSN 0000-0000.
Disponível em: <https://sol.sbc.org.br/index.php/sbes/article/view/25222>. Acesso em: 16 maio 2024.
doi: https://doi.org/10.5753/sbes.1987.25222.