Non-trivial Abstract data types 4 Abstracting 4 Algorithms 4 Dynamic frame 4 Machinery 4 Non-circular 4 Programming language 4 Structural invariants 4 Theory of dynamics 4 Trees (mathematics) 4 Admissible sequences 2 Alloy analyzers 2 Alloys 2 Arbitrary temperature 2 Authorization languages 2 Behaviour models 2 Black boxes 2 Branch coverage 2 Brownian movement 2 Computation theory 2 Computer circuits 2 Computer science 2 Conformance testing 2 Coverage criteria 2 DKAL 2 Decoherence 2 Distributed authorization 2 Distributed knowledge 2 Dynamical phasis 2