1. M. Amamiya, R. Taniguchi: Datarol: A Massively Parallel Architecture for Functional Language. Proc. Second IEEE Symposium on Parallel and Distributed Processing, 1990, 726–735
2. Arvind and R.A. Ianucci: Two fundamental issues in multiprocessing. Proc. DFVLR Conf. 1987 on Parallel Processing in Science and engineering, Bonn-Bad Godesberg, 1987.
3. E. Börger: High Level System Design and Analysis using Abstract State Machines. ASM Workshop, Magdeburg, 21–22 September, 1998.
4. Yu. Gurevich: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, Ed. E. Börger, Oxford University Press, 1995. pp 9–36.
5. P. Kacsuk: Execution Models for a Massively Parallel Prolog Implementation. Journal of Computers and Artificial Intelligence, Vol. 17, No. 4. Slovak Academy of Sciences, 1998 (part 1) and Vol. 18, No. 2., 1999 (part 2)