Mats Per Erik Heimdahl: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM 2000, ISBN 1-58113-262-X