A simple fixpoint argument without the restriction to continuity Edsger W. DijkstraA. J. M. van Gasteren OriginalPaper Pages: 1 - 7
Specification-oriented semantics for Communicating Processes E. -R. OlderogC. A. R. Hoare OriginalPaper Pages: 9 - 66
On the average internal path length of m-ary search trees Hosam M. Mahmoud OriginalPaper Pages: 111 - 117