The database programming language DBPL user and system manual (1992)