@TECHREPORT\{IMM2001-0541, author = "D. Bj{\o}rner", title = "Danske infra-strukturer: Menneskeskabte systemer og deres {IT}", year = "2001", month = "nov", number = "", series = "", institution = "Informatik \& Matematisk Modellering", address = "Danmarks Tekniske Universitet, Dk-2800 Kgs.Lyngby", type = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/541-full.html", abstract = "I denne, {''}let populariserende{''} fremstilling af centrale emner indenfor datalogi fokuseres der p{\aa} modelering af anvendelses-dom{\ae}ner - f{\o}r der opstilles krav til specifikt programmel." }