Challenges for action theories - Thielscher, Michael (Berlin ; New York : Springer, 2000)
Includes bibliographical references (p. [127]-134) and index.
Keywords: Computer logic; System design; Formal methods (Computer science)