Roel Wieringa Eric Dubois Integrating Semi-Formal and Formal Software Specification Techniques. 159-178 1998 23 Inf. Syst. 3-4 db/journals/is/is23.html#WieringaD98 http://dx.doi.org/10.1016/S0306-4379(98)00007-6