Introduction to Logic Design innbundetEngelsk, 2009