Fredrick J. Hill, Ben Huey: A Design Language Based Approach to Test Sequence Generation. Computer 10(6): 28-33 (1977)