An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
1 SML fn x => e e 1 e 2 0, 1, 2,..., +, -,... true, false, if e then e else e patterns datatypes exceptions structures functors fun f x = e variables.
An Ontological Framework for Web Service Processes