1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111(l-2):3–57, April 12 1993.
2. S. Abramsky. Interaction categories and communicating sequential processes. In Roscoe [Ros94], chapter 1, pages 1–16.
3. Lecture Notes in Computer Science;SK Abdali,1986
4. J. W. Backus. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. In Information Processing, Proceedings of the International Conference on Information Processing, pages 125–131, Paris, June 1959.
5. J. Backus. Can programming be liberated from the von Neumann style? a functional style and its algebra of programs. Comm. ACM, 21(8):613–641, August 1978.