Incollection,

Algebraic Specification.

.
Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews