Algebraic and functional specification of an interactive serializable database interface Manfred Broy OriginalPaper Pages: 5 - 18
Operational specification with joint actions: Serializable databases Reino Kurki-Suonio OriginalPaper Pages: 19 - 37
Specifying modules to satisfy interfaces: A state transition system approach Simon S. LamA. Udaya Shankar OriginalPaper Pages: 39 - 63