Robert A. Snowdon An Intoduction to the IPSE 2.5 Project. 13-24 1989 conf/see/1989 SEE db/conf/see/see1989.html#Snowdon89 http://dx.doi.org/10.1007/3-540-53452-0_29