General refinement and recursion for the box calculus - Best, Eike 1951-; Devillers, Raymond; Esparza, Javier 1964- (Hildesheimer Informatik-Berichte, 1992)