Specifying Piping Systems