Terminologie algebraische specificatie by Bergstra