Adam Betts, Guillem Bernat. Identifying irreducible loops in the Instrumentation Point Graph. Journal of Systems Architecture, 57(7):720-733, 2011. [doi]
@article{BettsB11, title = {Identifying irreducible loops in the Instrumentation Point Graph}, author = {Adam Betts and Guillem Bernat}, year = {2011}, doi = {10.1016/j.sysarc.2011.03.002}, url = {http://dx.doi.org/10.1016/j.sysarc.2011.03.002}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/BettsB11}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {57}, number = {7}, pages = {720-733}, }