By L. C. G. Rogers (University of Bath), D. Talay (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt)
