Specifications Prev: functional-programming Next: state-and-concurrency Prev: functional-programming Next: state-and-concurrency