Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity". - Louis J. Vroomen; Paul J. Zsombor-Murray; P. Baracos; Robert D. Hudson (IEEE Trans. Computers, 1989)