Persona

Monografia (1985) The logical basis for computer programming