Title: Workshop on Cleanroom Software Engineering
First published: 1996