The Prescription and Description of State Based Systems (1987)

by S Khosla, T S E Maibaum