Michael C. McFarland, Alice C. Parker. An Abstract Model of Behavior for Hardware Descriptions. IEEE Transactions on Computers, 32(7):621-637, 1983.
@article{McFarlandP83, title = {An Abstract Model of Behavior for Hardware Descriptions}, author = {Michael C. McFarland and Alice C. Parker}, year = {1983}, tags = {C++}, researchr = {https://researchr.org/publication/McFarlandP83}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {32}, number = {7}, pages = {621-637}, }