Programming bulk-synchronous parallel computers. - R. Quentin Miller (1996)