Y. Lin, G. Grov, and R. Arthan, “Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC”, JFR, vol. 9, no. 2, pp. 69–130, Jan. 2016.