Title: A predicative model for probabilistic specifications and programs
First published: 1998