Deriving Probabilistic Semantics Via the 'Weakest Completion' [chapter]

He Jifeng, Carroll Morgan, Annabelle McIver
2004 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-30482-1_17 fatcat:lgji5mnlz5b35f7wwzuedx2xqy