Pl/I a manual of style - Weinberg