@CONFERENCE\{IMM2000-0941,
    author       = "A. E. Haxthausen",
    title        = "Some Approaches for Integration of Specification Techniques",
    year         = "2000",
    pages        = "33-40",
    booktitle    = "INT'00 - Integration of Specification Techniques with Applications in Engineering",
    volume       = "",
    series       = "",
    editor       = "Technical Report 2000/4",
    publisher    = "Technical University of Berlin",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/941-full.html",
    abstract     = "Invited extended abstract"
}