Jon Doyle: Admissible State Semantics for Representational Systems. Computer 16(10): 119-123 (1983)