Formalising a value-passing calculus in H0L
scientific article; zbMATH DE number 1400098