Harmen Kastenberg: Graph-based software specification and verification. University of Twente, Enschede, Netherlands 2008