Title: The SETL2 programming language
First published: 1990