@CONFERENCE\{IMM2001-02361, author = "D. Bj{\o}rner", title = "Informatics Models of Infrastructure Domains", year = "2001", pages = "13-73", booktitle = "Computer Science and Information Technologies", volume = "", series = "", editor = "", publisher = "Institute for Informatics and Automation Problems", organization = "", address = "Yerevan, Armenia", note = "http://www.imm.dtu.dk/\verb+~+db/documents/csiam.ps", url = "http://www2.compute.dtu.dk/pubdb/pubs/2361-full.html" }