Making formal methods more simple with few extensions to mathematical logic. - Senaratne, W. R. A. De Z. (Author, 2000)