Edward Chan Ken Robinson Brett Welch Patterns for B: Bridging Formal and Informal Development. 125-139 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_12 db/conf/b/b2007.html#ChanRW07