Mordechai Ben-AriBooksElements of RoboticsAda for Software EngineersMathematical Logic for Computer ScienceMathematical SurprisesAuthor data: Open Library