@misc{indiciaecf0e678065f7, title = {Progress with formalization in medical informatics?}, author = {A A van der Maas and A J ten Hoopen and A H ter Hofstede}, doi = {10.1136/jamia.2001.0080126}, url = {https://pubmed.ncbi.nlm.nih.gov/11230381/}, note = {Source identifier: 11230381} }