Jayakumar, Rajagopalan (1984) Design and analysis of graph algorithms : spanning tree enumeration, planar embedding and maximal planarization. PhD thesis, Concordia University.