A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
He Jifeng, Carroll Morgan, Annabelle McIver. "Deriving Probabilistic Semantics Via the 'Weakest Completion'." Lecture Notes in Computer Science (2004) 131-145