An Axiomatic Approach to Structuring Specifications

by Răzvan Diaconescu