Virendra Bhavsar Lev Goldfarb Andrew Mironov
Typed three automata
Copyright @ Virendra Bhavsar, Lev Goldfarb, Andrew Mironov, 1999.
1999
Technical Report