Abstract state machines, B and Z : first International Conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings - ABZ (konference) 2008 : Londýn, Anglie); Borger, Egon (Berlin : Springer, 2008)
Keywords: teorie strojů; machine theory; sborníky konferencí