Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
scientific article; zbMATH DE number 1857119