TY  - RPRT
TI  - Progress with formalization in medical informatics?
AU  - A A van der Maas
AU  - A J ten Hoopen
AU  - A H ter Hofstede
DO  - 10.1136/jamia.2001.0080126
UR  - https://pubmed.ncbi.nlm.nih.gov/11230381/
ID  - 11230381
ER  -