The Science of Programming - Gries,David (New Delhi: Narosa Publishing, 1988)
Keywords: computer Science; Predicates; Proposition; The Semantic & small Language