A logical framework for software proof reuse (1995)

by J E Caplan, M T Harandi
Venue:Proceedings of the ACM SIGSOFT Symposium on Software Reusability