@CONFERENCE\{IMM1996-01875,
    author       = "Z. Chaochen and M. R. Hansen",
    title        = "Chopping a Point",
    year         = "1996",
    booktitle    = "{BCS-FACS} 7th Refinement Workshop",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "Electronic Workshops in Computing, Springer-Verlag",
    organization = "",
    address      = "",
    note         = "http://www.springer.co.uk/ewic/workshops/7RW/",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1875-full.html"
}