M. Joseph
Computer Software algorithm algorithms computer science database design functional programming knowledge representation logic modeling petri net programming theoretical computer science algorithm analysis and problem complexity