Describir: The logic of machines and structures.