Add COMPOSE procedure and specs