Jeremy Gow Alan Bundy Ian Green Extensions to the Estimation Calculus. 258-272 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#GowBG99 http://dx.doi.org/10.1007/3-540-48242-3_16