formal specification - Turkish English Dictionary