Marisa Venturini Zilli: A model with nondeterministic computation. Lambda-Calculus and Computer Science Theory 1975: 287-296