Dowek, G. Introduction to the theory of programming languages [Electronic resource] / G. Dowek, J. Lévy. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-076-2 : Б. ц.