Plug-in Proof Support for Formal Development Environments. - David Hemer; Gregory Long; Paul A. Strooper (CATS, 2005)

Immersive volume rendering of blood vessels. - Gregory Long; Han Suk Kim; Alison L. Marsden; Yuri Bazilevs; Jürgen P. Schulze (ERVR, 2012)