Dynamic logic - Harel, David; Kozen, Dexter .; Tiuryn, Jerzy . (New Delhi : Prentice Hall of India, 2007)
Includes bibliographical references and index
Keywords: COMPUTER LOGIC