Hierarchic defaults in specifications (1991)

by S Brass, M Ryan, U Lipeck
Venue:In Information Systems: Correctness and Reusability