Describir: An abstract model for parallel computations: Gandy's thesis[a].