[Back]

@phdthesis{TUW-119272,
    author = {Navratil, Gerhard},
    title = {Formalisierung von Gesetzen},
    school = {Geoinformation und Landesvermessung},
    year = {2002},
    url = {ftp://ftp.geoinfo.tuwien.ac.at/navratil/Nav_PhD.pdf}
}