Proceedings of the ACM SIGSOFT international workshop on formal methods in software development : NAPA, CALIFORNIA, USA, 9-11 MAY 1990. - Moriconi, Mark (ACM,Inc, 1990)