Isacsson, S.-O. Claes-Göran Westrin- Exit!. SMT 2002, 79, 195-199.