Describir: The Art of Multiprocessor Programming