Defining software by continuous, smooth functions. - DeMillo, Richard A.; Lipton, Richard J. (IEEE Transactions on Software Engineering, 1991)