"Process Specification"@cs .