Releases med Workshop on Program Specification