This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
Formal methods in transformational derivation of programs
- Uday S. Reddy
- January 1990, ACM (Association for Computing Machinery)
- DOI: 10.1145/99569.99828