Computable Foundations for Economics by K. Vela Vela Velupillai