Refreshing pauses : (Praeger, 1987)