Journal of Universal Computer Science, vol. 1, no. 3 (1995), 162-175 submitted: 4/1/95, accepted: 1/3/95, appeared: 28/3/95, Springer Pub. Co. 162