On the universality and undecidability in dynamic systems (2002)

by H Hyötyniemi