Formal Specifications with Higher-Order Parameterization (1994)

by Maŕıa Victoria Cengarle
Venue:PhD thesis, Institut für Informatik, Ludwig-Maximilians-Universität München