A logic of actions and its application to the development of programmable controllersCarlo SimonUitverkocht4,3Hou mij op de hoogte
