Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques