Joseph A. Goguen Discrete-Time Machines in Closed Monoidal Categories. I. 1-43 1975 10 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss10.html#Goguen75