Logic of Programming and Calculi of Discrete Design häftadEngelska, 2012