Pieter Coecke
specifications