Author: Gerard Johan Holzmann
Born: 1951