Title: The revised logic PPLamda a reference manual
First published: 1983