APPLICATIONS OF FORMAL METHODS - HINCHEY, M.G.:BOWEN, J.P. (PRENTICE HALL : NEWYORK, 1995)
Keywords: FORMAL METHODS