Emperical semantics for object-oriented programs door J. Bergstra & M. loots