Heinrich C. Mayr ORS Specifications: Ideas, Application Examples, and Experiences. 1982 ADT db/conf/adt/adt1982.html#Mayr82