Michael C. McFarland
On proving the correctness of optimizing transformations in a digital design automation system
DAC, 1981.
@inproceedings{DAC-1981-McFarland,
acmid = "802285",
author = "Michael C. McFarland",
booktitle = "{Proceedings of the 18th Design Automation Conference}",
pages = "90--97",
publisher = "{ACM/IEEE}",
title = "{On proving the correctness of optimizing transformations in a digital design automation system}",
year = 1981,
}