Lecture Notes in Computer Science 127 Alternating Sequential/Parallel Processing
1982 年出版329 页ISBN:3540111948
4th Annual ACM Symposium on Parallel Algorithms and Architectures
1992 年出版442 页ISBN:089791483X
PREDICATE CALCULUS AND PROGRAM SEMANTICS
EDSGER W.DIJKSTRA,CAREL S.SCHOLTEN1990 年出版220 页ISBN:7506210444