Bauer also worked in the committees that developed the imperative computer programming languages ALGOL 58 and its successor ALGOL 60, important predecessors to all modern imperative programming languages.
In tight collaboration with Peter Naur and others, he developed reliable, well documented compilers to the ALGOL 60 programming language.
S-algol is a computer programming language derivative of ALGOL 60 developed at the University of St. Andrews in 1979 by Ron Morrison and Tony Davie.
It was developed by Tony Brooker and Derrick Morris as a variant of the ALGOL programming language, removing some Algol features such as "passing parameters by name" (which in Algol 60 means passing the address of a short subroutine to recalculate the parameter each time it was mentioned).