You are about to access our book library "Larch: Languages and Tools for Formal Specification (Monographs in Computer Science) full version" .