1. A. Avron. Simple Consequence Relations. In Information and Computation, volume 92, 1991
2. G. Gentzen. Investigations into logical deduction. In The collected works of Gerhard Gentzen, (M. Szabo, Ed.), North-Holland, Amsterdam, 1969.
3. J.-Y. Girard. Linear Logic. In Theoretical Computer Science, 50(1):1–102, 1987.
4. J. F. Groote. A new strategy for proving ω-completeness with applications in process algebra. In Proceedings of CONCUR 90, volume 458 of Lect. Notes in Computer Science. Springer Verlag, 1990.
5. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.