Rishiyur S. Nikhil: Abstraction in Hardware System Design. ACM Queue 9(8): 40 (2011)