H. Hofstede

On the Complexity of Some Veri cation ProblemsinProcess Control

M. Orlowska, H. Hofstede, 1997 .

Conceptual Data Modeling from a Categorical Perspective

H. M. ter Hofstede, E. Lippe, M. P.J., 1996 .

Conceptual Data Modelingfrom aCategorical PerspectiveA

H. M. ter Hofstede, E. Lippe, M. P.J., 1996 .

Veriication Problems in Conceptual Workkow Speciications

M. E. Orlowska, J. Rajapakse, M. Orlowska, 1996 .