1
Published 1975
Springer Berlin Heidelberg
Table of Contents: '; ... of programs -- Mathematical model of programs with dynamic allocation of variables -- Mathematical foundations...