A predicative basis for structured analysis specification tools

Robert B. France. A predicative basis for structured analysis specification tools. Information \& Software Technology, 35(2):67-77, 1993. [doi]

Abstract

Abstract is missing.