J. W. de Bakker

• Semantics and the foundations of program proving