Jones, C.B. "Software Development - A Rigorous Approach" Prentice Hall, Englewood Cliffs, NJ 1980

Languages mentioned

• Vienna Definition Language {1965} Formal language description language