Annika Wagner. A formal object specification technique using rule-based transformation of partial algebras. PhD thesis, Berlin Institute of Technology, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.