Introduction to PASCAL - Welsh, Jim; Elder, John