- J. Comput. Syst. Sci. 34(2/3):377-408 (1987)
- Journal of Computer and System Sciences 34(2-3):377--408 (1987)
- TAPSOFT, Vol.1, volume 185 of Lecture Notes in Computer Science, page 267-283. Springer, (1985)
- Applied Informatics, page 8-13. IASTED/ACTA Press, (1994)
- ADT, (1988)


author