@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}
}