IEE proceedings, part E : computers and digital techniques. -- (The Institution of Electrical Engineers, 1980)