Victor Kwan

• A predicative model for probabilistic specifications and programs