Syntymäaika	1980
Tunnisteet	0000000484919216 (isni) http://urn.fi/URN:NBN:fi:au:finaf:000142271 (finaf)
Lähteet	Tool-supported invariant-based programming, 2010: t.p. (Johannes Eriksson) Åbo Akademin väitöstiedote 10.8.2010