Internet,www.loc.gov, 2005-10-25
Internt, http://www.cs.bham.ac.uk/~mzk/, 2005-10-25
Mathematical techniques for analyzing concurrent and probabilistic systems / J.J.M.M.
Rutten ; Marta Kwiatkowska, Gethin Norman... [et al.] ; Prakash Panangaden, Franck
van Breugel, editors. - Providence (R.I.) : American Mathematical Society, cop. 2004