@inproceedings{Gibbons94:How, title = "How to Derive Tidy Drawings of Trees", author = "Jeremy Gibbons", year = "1994", address = "Department of Computer Science, University of Auckland", annote = "Condensed version of \cite{Gibbons93:Deriving}", booktitle = "Proceedings of Salodays in Auckland", editor = "C. Calude and M. J. J. Lennon and H. Maurer", note = "Also in Proceedings of First New Zealand Formal Program Development Colloquium, p.\,105--126.", pages = "53--73", url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/nzfpdc-drawing.ps.gz", }