Leslie Lamport The <sup>+</sup>CAL Algorithm Language. 23 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_2 db/conf/forte/forte2006.html#Lamport06