Title: Eliminating the variable from Dijkstra's mini-language
First published: 1979
Subjects: Electronic data processing, Computer programming
LC classification: QA76.99 R42 1979