Title: The Imperative future
Subjects: Development, Computer software, Symbolic and mathematical Logic, Programming languages (Electronic computers), Computer software, development, Programming languages (electronic computers), Logic, symbolic and mathematical