Elementary Logic For Software Development - Lover, Robert; SpringerLink (Online service) (London : Springer London, 2008)
Keywords: Computer science; Logic design; Computer Science; Logics and Meanings of Programs