by Manuel, Peter.
by Jones, Andrew F.
by \a Weintraub, Andrew N. \a Barendregt, Bart A.
by \a Powell, Elliott H.