Abramsky, S. (1984). Reasoning about concurrent systems: A functional approach. Academic Press.
芝加哥风格引文Abramsky, S. Reasoning About Concurrent Systems: A Functional Approach. Academic Press, 1984.
MLA引文Abramsky, S. Reasoning About Concurrent Systems: A Functional Approach. Academic Press, 1984.
警告：这些引文格式不一定是100％准确.