Computer languages, systems & structures (Pergamon, 2002)