@inproceedings{DBLP:conf/asian/IglewskiKM95,
  author    = {Michal Iglewski and
               Marcin Kubica and
               Jan Madey},
  title     = {Trace Specifications of Non-Deterministic Multi-Object Modules.},
  booktitle = {ASIAN},
  year      = {1995},
  pages     = {381-395},
  crossref  = {DBLP:conf/asian/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asian/1995,
  editor    = {Kanchana Kanchanasut and
               Jean-Jacques L{\'e}vy},
  title     = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing
               Science Conference, ACSC '95, Pathumthani, Tailand, December
               11-13, 1995, Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1023},
  year      = {1995},
  isbn      = {3-540-60688-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}