L. V. Atkinson: Pascal Scalars as State Indicators. Softw. Pract. Exp. 9(6): 427-431 (1979)