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