An Implementation Concept for Observational Specifications

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

Abstract

Abstract is missing.