Languages and Tools for Formal Specification (1993)

by Larch