@inproceedings{Sto02c,
        author =        {M.I.A. Stoelinga},
        booktitle =     {EATCS bulletin},
        volume =        78,
        title =         {An introduction to probabilistic automata},
        editor =        {G. Rozenberg}    
        year =          2002,
        note =          {accepted for publication}
}