@article{wing:verifying-concurrent-objects:jpdc:1993,
  author	= {Wing, Jeanette M. and Gong, Chun},
  title		= {Testing and Verifying Concurrent Objects},
  journal	= {Journal of Parallel and Distributed Computing},
  volume	= {17},
  number	= {2},
  pages		= {164--182},
  month		= {Jan-Feb},
  year		= {1993}
}