Enviar aquest missatge de text: Mechanism structural analysis and type synthesis / Wendell Williams.