A programming logicby R. L. ConstableComputer programsPL/CV (Computer program language)Symbolic and mathematical LogicTestingWriting a summary for young readers…For young readersBook data: Open Library