: An Axiomatic Basis for Computer Programming (Reprint).
: Viewpoint - Retrospective: an axiomatic basis for computer programming.
: The role of programming in a Ph.D. computer science program.
: Fen-An Axiomatic Basis for Program Semantics.
: A comment on axiomatic approaches to programming.
: A case study in programming for parallel-processors.
: Images from computers and microfilm plotters.
: A computer system for transformational grammar.
: Computers in group theory: a survey.
: Advanced cryptographic techniques for computer.
(search: 0.007 sec. - facets: 0.055 sec.- similarity: 1.95 sec)