**Berardi5:MSCS (Article)
** |

Author(s) | Stefano Berardi |

Title | « *An application of PER model to Program Extraction »* |

Journal | Mathematical Structures in Computer Science |

Volume | 3 |

Number | |

Page(s) | 309-331 |

Year | 1993 |

```
@article{Berardi5:MSCS,
number = { },
volume = {3},
title = {An application of PER model to Program Extraction},
author = {Stefano Berardi},
pages = {309-331},
year = {1993},
journal = {Mathematical Structures in Computer Science},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)