| http://www.w3.org/ns/prov#value | - The authors argue that a modern programming language such as Scala has achieved a level of succinctness, which makes it suitable for program/systems specification, hence able to take the role that early very elegant specification languages, way ahead of their time, served.
|