Journal of digital systems (Computer Science Press, 1998)