On the verification of dynamic programming for singular stochastic control systems. - Diego Bricio Hernandez-Castanos (1974)