Complexity of Implementations on the Level of Algebraic Specifications

Hartmut Ehrig, Bernd Mahr

Browse the full STOC paper archive.