[1] |
Dijkstra, E., A Discipline of Programming (1976), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0368.68005 |
[2] |
Greibach, S., Theory of Program Structures: Schemes, Semantics, Verification, (Lecture Notes in Computer Science, 36 (1975), Springer: Springer Berlin) · Zbl 0345.68002 |
[3] |
Greif, I.; Meyer, A. R., Specifying the semantics of while-programs, (Technical Memorandum 130 (1979), Laboratory for Computer Science, Massachusetts Institute of Technology) · Zbl 0471.68007 |
[4] |
Harel, D., Logics of programs: axiomatics and descriptive power, (PhD Thesis (1978), Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology), Revised version of: · Zbl 0589.68030 |
[5] |
Harel, D.; Pratt, V. R., Nondeterminism in logics of programs, 5th Annual Symposium on Principles of Programming Languages, 203-213 (1978) |
[6] |
Hoare, C. A.R., Some properties of predicate transformers, J. ACM, 25, 3, 461-480 (1978) · Zbl 0379.68016 |
[7] |
Hossley, R.; Rackoff, C., The emptiness problem for automata on infinite trees, 13th Annual Symposium on Switching and Automata Theory (1972) |
[8] |
Meyer, A. R., Ten thousand and one logics of programming, EATCS Bull., 11-29 (January 1980) |
[9] |
Meyer, A. R.; Parikh, R., Definability in Dynamic Logic, 11th ACM Symposium or Theory of Computing. 11th ACM Symposium or Theory of Computing, J. Comput. System Sci., 1-7 (1981), to appear · Zbl 0472.03013 |
[10] |
Pratt, V. R., Semantical considerations on Floyd-Hoare Logic, 17th Annual Symposium on Foundations of Computer Science, 109-121 (1976) |
[11] |
Rabin, M., Automata on infinite trees and the synthesis problem, (Technical Report No. 37 (1970), Hebrew University: Hebrew University Jerusalem) |
[12] |
Rasiowa, H., Algorithmic logic, (Report No. 281 (1977), Institute of Computer Science, Polish Academy of Sciences: Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland) · Zbl 0343.02013 |
[13] |
Salwicki, A., Formalized algorithmic languages, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., XVIII, 5, 227-232 (1970) · Zbl 0198.02801 |