next up previous contents
Next: References Up: Methods, Techniques and Tools Previous: Overview

Referenced Literature on Methoids &c.


Dines Bjorner
10/25/1999