@BOOK{PittsAM:semlc,
 EDITOR={A.~M.~Pitts and P.~Dybjer},
 TITLE={Semantics and Logics of Computation},
 PUBLISHER={Cambridge University Press},
 SERIES={Publications of the Newton Institute},
 ISBN={0-521-58057-9},
 YEAR=1997
}