http://dbpedia.org/resource/Invariant-based_programming Invariant-based programming