A Language for Software Design and its Graphoriented Semantics.

Udo Pletat

Browse the full WG paper archive.