Institut f?r Informatik der Universit?t Z?rich
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI

Technical Report Nr. 93.13 April 93

Towards an Integrity Model Specification Language

Stefan Scherrer

Klaus R. Dittrich