The Purely Functional Software Deployment Model by E. Dolstra