Reasoning about naming systems
ACM Transactions on Programming Languages and Systems
Larry L. Peterson
Mic Bowman
Mobile Devices for Early Literacy Intervention and Research with Global Reach