Calculus of computation: Decision procedures with applications to verification - Bradley Aaron R; Manna Zohar (Berlin Springer-Verlag, 2007)
Bibliographical references 351-355p; Index 357-366p
Keywords: Calulus; Mathematics