TEORIA DO PROGRAMA: O que é, para que serve e quando fazer?

Este artigo sumariza as características mais importantes da literatura
sobre teoria do programa.