Larch: Languages and Tools for Formal Specification

ISBN: 978-1-4612-7636-4 (Print) 978-1-4612-2704-5 (Online)