Pascal/Turbo Pascal - una ayudita pa un pobre aprendiz

Una ayudita por favor, necesito saber como hacer una especificacion algebraica y no tengo ni idea de lo que es ni para lo que sirve, alguien podria explicarmelo? o mejor, si me dijeran donde podria conseguir un manual o algo parecido? muchas gracias por adelantado

te recomiendo un buen tutorial el nacho cabanes

Gracias por la informacion, pero me temo que los tutoriales que me comentas no funcionan, el link no va, asi que no consigo ese tutorial, no sabaras otra manera de conseguirlo, u otro en el cual me expliquen la especificacion algebraica, es que es algo que en los tutoriales que me he bajado no aparece por ninguna parte y trengo un examen en breve en el que me lo piden.
Muchas gracias de nuevo.

No se qué es "especificación algebraica", puede ser ¿"expresión algebraica"?

me temo que no, es especificacion algebraica, se da un aire a las unidades algo asi:

ESPECIFICACION colas
PARAMETROS GENERICOS
.............
FIN PARAMETROS GENERICOS
TIPOS
OPERACIONES
(* CONSTRUCTORAS GENERADORAS *)
CrearColaVacia --> tipocola
....
(* OBSERVADORAS SELECTORAS *)
...

VARIABLES
....
ECUACIONES DE DEFINITUD
....
DEF(PrimeroCola(insertar(elemento,cola)))
....
ECUACIONES
....
FIN ESPECIFICACION

es un poco raro, si vale de algo es de estructura de datos, y es que no se por donde cogerlo

muchas gracias de nuevo, un saludo,

Pues sí que está raro eso. No veo ningún algebra en lo que has escrito... más bién parece pseudocódigo.