Formal Methods And Software Engineering by K. Lau