Anthony S. Ruocco Experiences using SPARK in an undergraduate CS course. 37-40 2005 conf/sigada/2005 SIGAda http://doi.acm.org/10.1145/1103846.1103852 db/conf/sigada/sigada2005.html#Ruocco05