The revised logic PPLAMBDA: a reference manual (1983)

by L C Paulson