Managing the complexity of abstraction layers in computer science (and beyond)

TBD