@CONFERENCE\{IMM1990-01779,
    author       = "J. Steensgaard-Madsen",
    title        = "Adding abstract datatypes to Meta-IV",
    year         = "1990",
    month        = "apr",
    pages        = "233-243",
    booktitle    = "\{{VDM} '90 {VDM} and {Z-} Formal Methods in Software  Development\}",
    volume       = "",
    series       = "",
    editor       = "C. A. R. Hoare Dines Bj{\o}\{\}rner and Hans Langmaack",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1779-full.html"
}