Stem ist$ (all stems)
2 papers:
- CSL-1998-RicheM #complexity #decidability
- Belnap, Urquhart and Relevant Decidability & Complexity. “Das ist nicht Mathematik, das ist Theologie.” (JR, RKM), pp. 224–240.
- Ada-1983-OsterweilC #approach
- The Toolpack/IST Approach to Extensibility in Software Environments (LJO, GC), pp. 133–163.