Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
scientific article; zbMATH DE number 5692854
scientific article