Visualizing Loops and Data Structures in Xylem: The Code of Plants. - Logas, Heather; Vallejos, Richard; Osborn, Joseph C.; Compton, Kate; Whitehead, Jim (2015)

Xylem: The Code of Plants. - Logas, Heather; Whitehead, Jim; Mateas, Michael; Vallejos, Richard; Scott, Lauren; Murray, John T.; Compton, Kate; Osborn, Joseph C.; Salvatore, Orlando; Shapiro, Daniel G.; Lin, Zhongpeng; Sanchez, Huascar; et al. (2014)

Software verification games: Designing Xylem, The Code of Plants. - Logas, Heather; Whitehead, Jim; Mateas, Michael; Vallejos, Richard; Scott, Lauren; Shapiro, Daniel G.; Murray, John T.; Compton, Kate; Osborn, Joseph C.; Salvatore, Orlando; Lin, Zhongpeng; Sanchez, Huascar; et al. (2014)