Review- Sets, Relations and Transition Systems.pdf