@inproceedings{BeckertBeusterFMIS2006,
  author    = {Bernhard Beckert and Gerd Beuster},
  title     = {Guaranteeing Consistency in Text-Based Human-Computer Interaction},
  booktitle = {International Workshop on Formal Methods
               for Interactive Systems ({FMIS} 2006)},
  venue     = {Macao, {SAR}, China},
  editors   = {Antonio Cerone and Paul Curzon},
  year      = {2006}
}