Context

Context of Transformational derivation of programs using the Focus system, Uday S. Reddy, (electronic resource)
Processing Feedback ...