@INCOLLECTION\{IMM2003-0540,
    author       = "D. Bj{\o}rner",
    title        = "What is a method? An Essay on some aspects of software engineering.",
    year         = "2003",
    month        = "jan",
    pages        = "175-203",
    booktitle    = "Programming Methodology",
    volume       = "9",
    number       = "",
    series       = "",
    publisher    = "Springer-Verlag",
    address      = "N.Y., New York",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/540-full.html",
    abstract     = "We examine some methodological principles and techniques of modeling such domain facets as: Intrinsics, support technologies, management \& organisation, rules \& regulations, and human behaviour. For some of these we give example (formal) descriptions; for others we formalise the principles and techniques."
}