Stark RH "A language for algorithms" pp40-44
(1971)
(1971)
The Computer Journal 14(1) 1971
Languages mentioned
Stark algorithm language
{1968} Language for showing provable algorithms