Title: The revised logic PPLAMBDA
First published: 1983