%0 Journal Article %1 journals/toplas/RamseyF97 %A Ramsey, Norman %A Fernandez, Mary F. %D 1997 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 492-524 %T Specifying Representations of Machine Instructions. %U http://dblp.uni-trier.de/db/journals/toplas/toplas19.html#RamseyF97 %V 19

@article{journals/toplas/RamseyF97, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ramsey, Norman and Fernandez, Mary F.}, biburl = {https://www.bibsonomy.org/bibtex/25501ac504c0f1a6432427e26d7111ecf/dblp}, ee = {https://doi.org/10.1145/256167.256225}, interhash = {a87446006a108f29d486a8f108a3dd67}, intrahash = {5501ac504c0f1a6432427e26d7111ecf}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {492-524}, timestamp = {2018-11-07T12:36:23.000+0100}, title = {Specifying Representations of Machine Instructions.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas19.html#RamseyF97}, volume = 19, year = 1997 }