A language for designing software systems - Quick, Michael Joseph (1980)