Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms | Publicación