Ethik in der InformatikKonrad Ott, Johannes Busse, Herbert Klaeren · First published 1999Open the Tome
Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-SpezifikationHerbert Klaeren · First published 1980Open the Tome
