id	keyword
ejpam-97	pure
ejpam-97	act
ejpam-97	let
ejpam-97	monomorphisms