APA (7th ed.) Citation

Hofmann, M. (1992). Formal development of functional programs in type theory: A case study.

Chicago Style (17th ed.) Citation

Hofmann, Martin. Formal Development of Functional Programs in Type Theory: A Case Study. Edinburgh, 1992.

MLA (9th ed.) Citation

Hofmann, Martin. Formal Development of Functional Programs in Type Theory: A Case Study. 1992.

Warning: These citations may not always be 100% accurate.