Authors: I.S.W.B.Prasetya

Citation: I.s.w.b.prasetya, Short communication error in the UNITY substitution for subscripted operators, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 466-470