A logical framework for software proof reuse (1995)

by Joshua E. Caplan, Mehdi T. Harandi
Venue:Proceedings of the ACM SIGSOFT Symposium on Software Reusability