Udgivelser med Workshop on Program Specification