Jacques Hagelstein Frank Ponsaert Introducing Formal Requirements into Industry. 129-141 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#HagelsteinP89 http://dx.doi.org/10.1007/3-540-53912-3_21