Describir: The design and analysis of parallel algorithms /