David A. Marca, Clement L. McGowan: Specifications Approaches Express Different World Hypotheses. IWSSD 1993: 214-223