Towards a Higher-Level Language

Abstraction