An Exercise in Proving Parallel Programs Correct.
A Language for Formal Problem Specification.
A Survey of Computer Science Offerings In Small Liberal Arts Colleges.
A Case Study of a New Code Generation Technique for Compilers.
Computers as an American Local Governments.
A Conceptual Framework for a Nonprocedural Programming Language.
A Methodology for Interactive Computer Service Measurement.