Alexander Birman, William H. Joyner Jr.. A Problem-Reduction Approach to Proving Simulation Between Programs. IEEE Trans. Software Eng., 2(2):87-96, 1976.
@article{BirmanJ76, title = {A Problem-Reduction Approach to Proving Simulation Between Programs}, author = {Alexander Birman and William H. Joyner Jr.}, year = {1976}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/BirmanJ76}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {2}, number = {2}, pages = {87-96}, }