Title: Correctness of data representations in Algol-like languages
Subjects: Programming languages (Electronic computers), Semantics