Thai Son Hoang Zhendong Jin Ken Robinson Annabelle McIver Carroll Morgan Probabilistic Invariants for Probabilistic Machines. 240-259 2003 conf/zum/2003 ZB http://link.springer.de/link/service/series/0558/bibs/2651/26510240.htm db/conf/zum/zb2003.html#HoangJRMM03