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

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