.

Published in: Inf. Comput. (1994)