IEE Proceedings. Computers and digital techniques