Heinz Zemanek Hardware - Software: An Equivalence and a Contradiction. 9-19 http://link.springer.de/link/service/series/0558/bibs/1337/13370009.htm 1997 conf/birthday/1997brauer Foundations of Computer Science: Potential - Theory - Cognition db/conf/birthday/brauer97.html#Zemanek97