BibTeX Entry |
@article{penn:00.4, author = {Penn, Gerald}, title = {The Algebraic Structure of Transitive Closure and its Application to Attributed Type Signatures}, journal = {Grammars}, volume = {3}, number = {2-3}, pages = {295--312}, year = {2000}, homepage = {http://www.cs.toronto.edu/~gpenn/index.html}, }