Formal development of programs and proofs. - Dijkstra, Edsger W. (Reading-Menlo Park : Addison-Wesley Publishing Co., 1990)
Keywords: počítače; programovanie; zborníky; zborníky