Luksch, P. ( 1987 ), ' The cardinality of FM(1+1+n) ', Order 4 , 15-30 .