F. Hinz
-
Adding symbolic information to picture models: definitions and properties
Theoretical Computer Science