An information processing approach to theory formation in biomedical research. - Harry E. Pople; G. Werner (AFIPS Spring Joint Computing Conference, 1972)

Computable Data Types. - Gérard Comyn; G. Werner (MFCS, 1979)