Krzysztof Mossakowski presentations