Author:
Scherlis William L.,Scott Dana S.
Reference46 articles.
1. Balzer, R.: 1981, ‘Transformational Implementation: An Example’, IEEE Transactions on Software Engineering SE-7(1), 3–14.
2. Yale Research Report;DR Barstow,1980
3. Bates, J. L.: 1979, ‘A Logic for Correct Program Development’, Ph.D. Thesis, Cornell University.
4. Cornell University Technical Report;JL Bates,1982
5. Bauer, F. L. et al: 1981, ‘Programming in a Wide Spectrum language: A Collection of Examples’, Science of Computer Programming 1, 73–114.