Brian H. Mayoh
-
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling