Denotational Model and Implementation of Scalable Virtual Machine in CPDev - Jan Sadolewski; Bartosz Trybus (Annals of computer science and information systems)