A complete algebraic characterization of behavioral subtyping
scientific article; zbMATH DE number 1444002