Making formal methods more simple with few extensions to mathematical logic. - Senaratne, W. R. A. De Z. ([s.l.] : Author, 2000)
Keywords: Logic, Symbolic and mathematical