@inproceedings{Wood/Barnes:2000,
 author		={D.C. Wood and F.R.M. Barnes},
 title		={{Post-Mortem Debugging in KR{\sffamily o}C}},
 pages		={179-192},
 month		=sep,
 year		=2000,
 address	={Amsterdam, the Netherlands},
 booktitle	={{Communicating Process Architectures, Proceedings of WoTUG 23}},
 editor		={P.H. Welch and A.W.P. Bakkers},
 organization	={WoTUG},
 publisher	={IOS Press},
 note		={{ISBN: 1-58603-077-9}},
 refereed	={Yes},
 series		={{Concurrent Systems Engineering}},
 volume		={58}
}