@CONFERENCE\{IMM2002-01633, author = "F. Nielson and H. Riis Nielson and H. Seidl", title = "Automatic Complexity Analysis", year = "2002", pages = "243-261", booktitle = "Proc. {ESOP'}02", volume = "", series = "Lecture Notes in Computer Science", editor = "", publisher = "Springer-Verlag", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1633-full.html" }