Name The logic of computer programming Author(s) Manna, Z. Waldinger, R. Year 1978 Publication IEEE Transactions on Software Engineering Edition 4(3) Pages 199-229 Other Links computer.org