Courtois, Bernard Definition and Design of Strongly Language Disjoint Checkers - 745-748 p. Subjects--Topical Terms: CheckersConcurrent Error DetectionSelf-Checking Systems