Programs and Executable Specifications in Higher Order Logic (2004)

by Proofs