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