Title: THE FORMAL-METHODS CONSTITUENCY
Subjects: Technology assessment, Computer integrated manufacturing systems, Microprocessors, Manufactures, Choice (Psychology), INMOS