1. Lecture Notes of Computer Science;T. Amtoft,1993
2. Anderson, A.R., Belnap, N.D. Jr.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
3. Anderson, A.R., Belnap, N.D. Jr., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press, Princeton (1992)
4. Series Bigre;C.A. Baker-Finch,1992
5. Barendregt, H.P., Kennaway, R., Klop, J.W., Sleep, M.R.: Needed reduction and spine strategies for the lambda calculus. Inf. Comput. 75(3), 191–231 (1987)