Michael C. McFarland Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions. [Citation Graph (0, 0)][DBLP] DAC, 1986, pp:474-480 [Conf]
Michael C. McFarland Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract). [Citation Graph (0, 0)][DBLP] DAC, 1993, pp:589- [Conf]
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]
Michael C. McFarland Formal verification of sequential hardware: a tutorial. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1993, v:12, n:5, pp:633-654 [Journal]