@Inproceedings{EPTCS152.12, author = {O'Leary, John W. and Russinoff, David M.}, year = {2014}, title = {Modeling Algorithms in SystemC and ACL2}, editor = {Verbeek, Freek and Schmaltz, Julien}, booktitle = {{\rm Proceedings Twelfth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Vienna, Austria, 12-13th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {152}, publisher = {Open Publishing Association}, pages = {145-162}, doi = {10.4204/EPTCS.152.12}, }