@InProceedings{,
 author = {S. Kryvyy, W. Grzywacz},
 booktitle = {Information Theories and Applications},
 title = {On transformation of OBDD representing of finite state automata},
 pages = {230--236},
 year = {2003},
 volume = {10},
 number = {4}
 }