@inproceedings{timewiseRefinement,
  title = "{CSP} and timewise refinement",
  author = "A. W. Roscoe and G. M. Reed and S. A. Schneider",
  year = "1991",
  booktitle = "{Proceedings of the BCS-FACS Refinement Workshop}",
  publisher = "LNCS",
}