Digital LC-2: from bits & gates to a little computer. - Cohen, Albert; Temam, Olivier (2002)