https://9lib.org/document/yr30g3dj-introductionandbasicdefinitions-differencelabellingofdigraphs.html