Transformational derivation of programs using the Focus system (1988)

by U Reddy
Venue:In Proc. of the ACM SIGSOFT/SIGPLAN Software Eng. Symp. on Practical Software Development Environments