@inproceedings{FHS03c,
address = {Kinsale, Ireland},
author = {A.J. Fern\'andez and M.T. Hortal\'a-Gonz\'alez and F. S\'{a}enz-P\'{e}rez},
booktitle = {Principles and Practice of Constraint Programming ({CP'2003})},
editor = {F. Rossi},
isbn = {3-540-20202-1},
number = {2833},
pages = {827-831},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{TOY(FD)}: {S}ketch of {O}perational {S}emantics},
year = {2003}
}