J. UCS the journal of universal computer science. (Springer-Verlag, 1996)