A constructive method of establishing the validity of the theory of systems with non-retaining constraints
scientific article; zbMATH DE number 4170161