The Stratified loose approach: a generalization of initial and loose semantics

Hierarchical Heterogeneous Specifications

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

Architectural Specifications in CASL

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

On the meaning of "but"

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design