Michel Hack: The Equality Problem for Vector Addition Systems is Undecidable. Theor. Comput. Sci. 2(1): 77-95 (1976)