On the equational definition of the least prefixed point.
scientific article; zbMATH DE number 1965282
scientific article