A rigorous construction of maximum recoverable work
scientific article; zbMATH DE number 5508768