@inproceedings{IWSSD.2000.63-72,
 author = {Jing Liu and Jin Song Dong and Jing Sun},
 title = {{TRMCS in TCOZ}},
 booktitle = {IWSSD '00: Proceedings of the Tenth International Workshop on Software Specification and Design},
 location = {San Diego, USA},
 month = {November},
 year = {2000},
 pages = {63-72},
 isbn = {0-7695-0884-7},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 doi = {http://doi.ieeecomputersociety.org/10.1109/IWSSD.2000.891127}
}