Title: Ponder and its type system
First published: 1982