Robert B. France: A predicative basis for structured analysis specification tools. Inf. Softw. Technol. 35(2): 67-77 (1993)