Program equilibrium -- a program reasoning approach
scientific article; zbMATH DE number 6199383