Formal derivation of strongly correct concurrent programs Axel van LamsweerdeMichel Sintzoff OriginalPaper Pages: 1 - 31
On the max-entropy rule for a binary search tree Yasuichi HoribeTibor O. H. Nemetz OriginalPaper Pages: 63 - 72
Pascal-clarifications and recommended extensions Jørgen Steensgaard-Madsen OriginalPaper Pages: 73 - 94