The Definition of programming languages - McGettrick, Andrew D (1980)