The balance and the coins

Edsger W. Dijkstra. The balance and the coins. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 11-13, 1996.

Abstract

Abstract is missing.