Ashcroft, E.A. and Wadge, W.W. "Lucid - a formal system for writing and proving programs" SIAM Journal of Computing, 5(3):336-354, September 1976

Languages mentioned

• LUCID {1975} dataflow language