Some aspects of error correction of programming languages. - M. Frentiu (1976)