A finite-state, finite-memory minimum principle
scientific article; zbMATH DE number 3561167