Lucid—A formal system for writing and proving programs (1976)

by E A Ashcroft, W W Wadge
Venue:SIAM Journal on Computing