On the Transformational Implementation Approach to Programming.

Robert Balzer, Neil M. Goldman, David S. Wile

Browse the full ICSE paper archive.