1
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... grammar engineering: A software specification method -- A linguistic formalism for engineering solid...