Terminologie algebraische specificatie door Bergstra