Formal model of internal measurement: Alternate changing between recursive definition and domain equation
scientific article; zbMATH DE number 1091668
scientific article