A substituição tributária do ICMS “para frente”, uma análise a luz do princípio da tipicidade tributária - Ávila, Eduardo (2013)