Technion - Computer Science Department - Technical Report CIS9402 - 1994