Abramsky, S. (1990). Abstract Interpretation‚ Logical Relations and Kan Extensions.
Chicago-referens (17:e uppl.)Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
MLA-referens (9:e uppl.)Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.