International timesharing - Edmonds, James (Longman, 1991)