Juan Bicarregui Brian Matthews Brian Ritchie Sten Agerholm Investigating the Integration of two Formal Methods. 532-549 1998 10 Formal Asp. Comput. 5-6 http://link.springer.de/link/service/journals/00165/bibs/8010005/80100532.htm db/journals/fac/fac10.html#BicarreguiMRA98