Hartmut Fritzsche T. Michel Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues. 209-223 2000 12 Interacting with Computers 3 db/journals/iwc/iwc12.html#FritzscheM00 http://dx.doi.org/10.1016/S0953-5438(99)00012-0