Hood nets. - Raffaele di Giovanni (Applications and Theory of Petri Nets, 1990)

HOOD and Z for the Development of Complex Software Systems. - Raffaele di Giovanni; Pier Luigi Iachini (VDM Europe, 1990)