@PHDTHESIS\{IMM1987-02112,
    author       = "M. R. Hansen",
    title        = "Non-Redundant Representation of Computations: The Integration of Equations and Relations",
    year         = "1987",
    school       = "Department of Computer Science",
    address      = "DTU",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2112-full.html",
    isbn_issn    = "0902-2821"
}