David Carl Dinucci
Oregon Graduate Institute of Science & Technology, Klamath Falls
Issues in the specification and design of parallel programs
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design