Dines Bjørner
Fredsvej 11, DK-2840 Holte, Denmark. bjorner@gmail.com.
Papers and Reports on Domain Science & Engineering
November 18, 2016