https://1library.org/document/zlnrrnrq-design-implementation-behaviorally-typed-programming-web-services.html