Nominal techniques in Isabelle/HOL
scientific article; zbMATH DE number 5287724
scientific article