Mechanizing a theory of program composition for unity (0)

by Lawrence C Paulson
Venue:ACM Trans. Program. Lang. Syst