Dynamic Logic - pocket, Engelska, 2000