Frases de "Jim Horning" sobre "ASAS"
"Para tratar a programação cientificamente, deve ser possível especificar as propriedades necessárias dos programas precisamente. A formalidade certamente não é um fim em si. A importância das especificações formais deve, em última análise, descansar em sua utilidade - em se eles são usados para melhorar a qualidade do software ou para reduzir o custo de produção e manutenção de software."
--- Jim Horning