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.
@inproceedings{Dijkstra96a, title = {The balance and the coins}, author = {Edsger W. Dijkstra}, year = {1996}, researchr = {https://researchr.org/publication/Dijkstra96a}, cites = {0}, citedby = {0}, pages = {11-13}, booktitle = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, editor = {Manfred Broy}, isbn = {3-540-60947-4}, }