1
Published 1991
Springer Berlin Heidelberg
..., to the formal description of the program development process, and to the uniform definition of syntax...