parid0361 | Sat, 01 Mar 2003 16:30:41
Definition of the semantics of the assertion type
Semantics of Assertion Types
already in definitions