Dynamic logic - Harel, David; Kozen, Dexter (New Delhi: Prentice-Hall of India Pvt. Ltd, 2007)
Keywords: Computer logic