Martin P. Ward. Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. IEEE Trans. Software Eng., 22(9):665-686, 1996. [doi]
@article{Ward96:0,
title = {Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm},
author = {Martin P. Ward},
year = {1996},
url = {http://www.computer.org/tse/ts1996/e0665abs.htm},
tags = {graph transformation, graph-rewriting, rewriting, transformation},
researchr = {https://researchr.org/publication/Ward96%3A0},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {22},
number = {9},
pages = {665-686},
}