Text this: Higher order logic and hardware verification /