Box Calculus with Coloured Bu®ers (2002)

by C Bui Thanh, H Klaudel, F Pommereau