@INPROCEEDINGS{BieKlaRau:Mona_dec_arithm_in_practice,
        EDITORS ={Jonsson, B. and Parrow, J.}
AUTHOR = {Biehl, Morten and Klarlund, Nils, and
	Rauhe, Theis},
	TITLE = {Mona: decidable arithmetic in practice (demo)}
	BOOKTITLE = {Formal Techniques in Real-Time and
Fault-Tolerant Systems, 4th International Symposium, Uppsala, LNCS 1135}
	YEAR = {1996},
}