Toward complete programming language descriptions that are both formal and understandable

From MaRDI portal
Publication:3314961