Text this: Introduction to ALGOL / [by] R. Baumann [and others].