Przejdź do głównej treści

Termination Patterns

WCP 11 Implicit Termination
WCP 43 - Explicit Termination