POP-PL: a patient-oriented prescription programming language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (GPCE, 2015)

Herbarium Racketensis: a stroll through the woods (functional pearl). - Vincent St-Amour; Daniel Feltey; Spencer P. Florence; Shu-Hung You; Robert Bruce Findler (Proc. ACM Program. Lang., 2017)

POP-PL: A Patient-Oriented Prescription Programming Language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Vincent St-Amour; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (ACM Trans. Program. Lang. Syst., 2018)

A calculus for Esterel: if can, can. if no can, no can. - Spencer P. Florence; Shu-Hung You; Jesse A. Tov; Robert Bruce Findler (Proc. ACM Program. Lang., 2019)