Derivation of Formal Representations from Process-Based Specification and Implementation Models.

Steven Vercauteren Diederik Verkest Gjalt G. de Jong Bill Lin Derivation of Formal Representations from Process-Based Specification and Implementation Models. 16- 1997 ISSS http://computer.org/proceedings/isss/7949/79490016abs.htm db/conf/isss/isss1997.html#VercauterenVJL97