Programming and computing (2000)

by B Barras
Venue:in HOL. See Aagaard and Harrison (2000