FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES - Pagan, Frank G. (Englewood Cliffs Prentice-Hall, 1981)
Bibliography : P. 235-239
Keywords: Programming Languages (Electronic Computers) -- Syntax; Programming Languages (Electronic Computers) -- Semantics