Projection factorisations in partial evaluation /
Launchbury, John.
Cambridge : Cambridge University Press,
1991.