Harel, D.
Dynamic logic - Cambridge; Massachusetts MIT Press 2000 - xv, 459p. - Foundations of computing series .
0-262-08289-6
Dynamic logic - Cambridge; Massachusetts MIT Press 2000 - xv, 459p. - Foundations of computing series .
0-262-08289-6