Stark, RH "On means to record algorithms to facilitate generation of error-free programs" WSU Computing Center Report 68-I

Languages mentioned

• Stark algorithm language {1968} Language for showing provable algorithms