Kacem Zeroual. Reasoning on requirement specifications: a deductive approach. In Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. pages 650-657, IEEE, 1989. [doi]
Abstract is missing.