Glynn Winskel Relating Two Models of Hardware. 98-113 1987 conf/ctcs/1987 Category Theory and Computer Science db/conf/ctcs/ctcs1987.html#Winskel87