%0 Conference Proceedings
%F hljkprs95
%A Henriksen, Jesper G.
%A Jensen, Jakob L.
%A J\orgensen, Michael E.
%A Klarlund, Nils
%A Paige, Robert
%A Rauhe, Theis
%A Sandholm, Anders
%T {M}ona: Monadic Second-Order Logic in Practice
%B Tools and Algorithms for the Construction and Analysis of Systems
%E Brinksma, Ed
%E Cleaveland, Rance
%E Larsen, Kim Guldstrand
%E Margaria, Tiziana
%E Steffen, Bernhard
%V 1019
%P 89-110
%I Springer
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henriksen1995.pdf
%D 1995
%K sorting
%K  regexp