Carroll Morgan The Generalised Substitution Language Extended to Probabilistic Programs. 9-25 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930009.htm db/conf/b/b1998.html#Morgan98