doi dblp Formal specification of information systems requirements Roberto R. Kampfner 1985 Volume 21 Issue 5