TY  - BOOK
AU  - Goguen, Joseph
AU  - Meseguer, José
AU  - Stanford University. Center for the Study of Language and Information
TI  - Equality, types, modules and generics for logic programing
PB  - Center for the Study of Language and Information
PY  - 1984
T2  - Report (Center for the Study of Language and Information (U.S.))
VL  - no. CSLI-84-5
EP  - 30 p.
UR  - http://ci.nii.ac.jp/ncid/BA51224563
ER  -