Desvendando a programação por após das Máquinas Demanda-Níqueis