Todd Simpson, Graham M. Birtwistle, Brian T. Graham. Towards a verified MiniSML/SECD system. IEE Proceedings - Software, 8(3):137-153, 1993. [doi]
@article{SimpsonBG93, title = {Towards a verified MiniSML/SECD system}, author = {Todd Simpson and Graham M. Birtwistle and Brian T. Graham}, year = {1993}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=219432}, researchr = {https://researchr.org/publication/SimpsonBG93}, cites = {0}, citedby = {0}, journal = {IEE Proceedings - Software}, volume = {8}, number = {3}, pages = {137-153}, }