Building Systems from Components

Specification

Concrete (ML)

Implementation

Properties

(English)

code of a layer

logical

predicates


	Hard to go between two forms of specification.