1. ABRAHAMSON, K., Decidability and expressiveness of logics of processes, Ph.D. Thesis, Tech. Report 80–08-01, Dept. of Computer Science, Univ. of Washington, Seattle, 1980.
2. The Burnside Problem and Identities in Groups;ADIAN,1979
3. A complete logic for reasoning about programs via Nonstandard Model Theory. Parts I, II;ANDRÉKA;Theoret. Comput. Sci.,1982
4. Ten years of Hoare's Logic: a survey—part 1;APT;ACM Trans. on Programming Languages and Systems,1981
5. Countable nondeterminism and random assignment;APT;J. ACM,1986