PDF

In Edsger Wybe Dijkstra: his Life, Work and Legacy, 2022. Association for Computing Machinery.

@incollection{ewd-vl, title={Calculational proofs}, author={Vladimir Lifschitz}, booktitle={Edsger Wybe Dijkstra: his Life, Work and Legacy}, month={ }, publisher={Association for Computing Machinery}, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=127936", year={2022} }