Johar Manna

• The logical basis for computer programming