Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms.

Hans L. Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos

Browse the full MFCS paper archive.