Operational semantics of the Java Card Virtual Machine
scientific article; zbMATH DE number 2107868