Programma-Algebra, een inleiding tot de programmatuur

In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen. Het leuke van PGA is dat het een kader biedt om de elementaire vra