Usenix: Dartmouth expanding diff, grep Unix tools