Bauer aunque ya había sido utilizado por Edsger Dijkstra en su libro "The Humble Programmer".