Title: System description and the delta language
First published: 1975