Abramsky, S. (1990). Abstract Interpretation‚ Logical Relations and Kan Extensions.
芝加哥风格引文Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
MLA引文Abramsky, S. Abstract Interpretation‚ Logical Relations and Kan Extensions. 1990.
警告：这些引文格式不一定是100％准确.