Michael C. McFarland Formal Analysis of Correctness of Behavioral Transformations. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1993, v:2, n:3, pp:231-257 [Journal]
Ghislaine Thuau, Bachir Berkane A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1993, v:2, n:3, pp:259-276 [Journal]