@misc {IOPORT.70316972,
    author       = {De Bakker, J. W. and Kok, Joost N.},
    title        = {Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent prolog},
    howpublished = {FGCS, 347-355 (1988).},
    year         = {1988},
    identifier   = {70316972},
}