Enviar aquest missatge de text: Formalization of programming concepts :