<!ELEMENT procedure (param*, def)>
<!ELEMENT param EMPTY>


<!ATTLIST param 
  name	CDATA	#IMPLIED
  type	CDATA	#REQUIRED
>

<!ATTLIST procedure
  name	CDATA	#REQUIRED
  type CDATA #REQUIRED
  setof (setof) #IMPLIED
>