Smaill, A., & Green, I. (1995). Automating the synthesis of functional programs in constructive type theory.
Chicago-Zitierstil (17. Ausg.)Smaill, Alan, und Ian Green. Automating the Synthesis of Functional Programs in Constructive Type Theory. Edinburgh, 1995.
MLA-Zitierstil (9. Ausg.)Smaill, Alan, und Ian Green. Automating the Synthesis of Functional Programs in Constructive Type Theory. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.