Computational thinking
A specifier's introduction to formal methods
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems
Communications of the ACM
Barbara H. Liskov
Authoring and Verifying Human-Robot Interactions
Learning by Fixing and Designing Problems
Um Mapeamento Sistemático da Literatura sobre Pensamento Computacional na Perspectiva dos Fundamentos Teóricos de Aprendizagem
A Plea for Modesty
Uma Experiência Piloto de Integração Curricular do Raciocínio Computacional na Educação Básica
A Tangible, Story-Construction Process Employing Spatial, Computational-Thinking