Assertion list for term "implemented as program".
Results from Ascent++: 1
method (aspect of interface) → ReceivesAction → implemented as program 0.27