Formele semantiek door Guido van den Wyngaerd & Jeroen van Craenenbroeck