Product and iteration of module specifications