Towards constructive axiomatic specifications

C. S. dos Santos, A. L. Furtado, J. M.V. de Castilho, S. E.R. de Carvalho

Available in: PDF