References ^ Jean-Yves Girard (1990). 9780521371810, Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7). Wiki. ISBN 9780521371810 (revised Nov 2013)