Title: Some high-level language constructs for data of type relation
First published: 1977