Specification of Concurrency Control in Persistent Programming Languages