Premaster formele technieken 2: datastructuren, formele talen en security by H.P.E. Vranken