@INPROCEEDINGS{KlaEtAl:Mona,
	AUTHOR = {J.G. Henriksen and
		Jensen,J. and J{\o}rgensen, M. and
		Klarlund, N. and Paige, B. and Rauhe, T. and Sandholm, A.},
        BOOKTITLE = {Tools and Algorithms for the Construction and
           	Analysis of Systems,
		First International Workshop, TACAS '95, LNCS 1019},	
	TITLE = {Mona: Monadic Second-order logic in practice},
	YEAR = {1995},
}