Irene Greif, Richard J. Waldinger: A more mechanical approach to program verification. Symposium on Programming 1974: 109-119