An Implementation Concept for Observational Specifications

Rolf Hennicker. An Implementation Concept for Observational Specifications. In ADT. 1986.

Bibliographies