> Profe: ¿tiene usted algunos ejemplos de especificaciones que podamos usar?

Desafortunadamente la clase ADH_list está mal especificada, pero pueden encontrar algunas especificaciones completas acá:

Init(o):     http://www.di-mare.com/adolfo/binder/c04.htm#sc01
Copy(x,y):   http://www.di-mare.com/adolfo/binder/c04.htm#sc05
Clone(o,p):  http://www.di-mare.com/adolfo/binder/c04.htm#sc06
Swap(x,y):   http://www.di-mare.com/adolfo/binder/c04.htm#sc08
Equal(x,y):  http://www.di-mare.com/adolfo/binder/c04.htm#sc09
Less(x,y):   http://www.di-mare.com/adolfo/binder/c04.htm#sc10
OK(o):       http://www.di-mare.com/adolfo/binder/c04.htm#sc11
Store(o,F):  http://www.di-mare.com/adolfo/binder/c04.htm#sc13
Load(o,F):   http://www.di-mare.com/adolfo/binder/c04.htm#sc14

Si les confunde el nombre de estas rutinas, pueden suponer que son métodos aplicados al primer parámetro:

Init(o)      ==>  o.Init()
Copy(x,y)    ==>  x.Copy(y)
Clone(o,p)   ==>  o.Clone(p)
Swap(x,y)    ==>  x.Swap(y)
Equal(x,y)   ==>  x.Equal(y)
Less(x,y)    ==>  x.Less(y)
OK(o)        ==>  o.OK()
Store(o,F)   ==>  o.Store(F)
Load(o,F)    ==>  o.Load(F)