The IITRAN programming language
Randomized binary search technique
Variable length tree structures having minimum average search time
Automated printed circuit routing with a stepping aperture