Semantics and pragmatics of programming language ASAMPL - Ye. Sulema; V. Glinskii (Problems in programming, 2020)