APA (7th ed.) Citation

Schmidt, D. A. (1982). Syntactic type checking using Scott retraction maps.

Chicago Style (17th ed.) Citation

Schmidt, David A. Syntactic Type Checking Using Scott Retraction Maps. Edinburgh, 1982.

MLA (9th ed.) Citation

Schmidt, David A. Syntactic Type Checking Using Scott Retraction Maps. 1982.

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