Recursion in Specifications
	ä Operations are often specified recursively ä Tail (Cons (L, v)) =    if L = Create      then Create      else Cons (Tail (L), v) ä Cons ([5, 7], 9) = [5, 7, 9] ä Tail ([5, 7, 9])  = ä Tail (Cons ( [5, 7], 9))  = ä Cons (Tail ([5, 7]), 9) = ä Cons (Tail (Cons ([5], 7)), 9) = ä Cons (Cons (Tail ([5]), 7), 9) = ä Cons (Cons (Tail (Cons ([], 5)), 7), 9) = ä Cons (Cons (Create, 7), 9) = ä Cons ([7], 9) = ä [7, 9]