ALL DONE

OK, the formal methods book, formatted and prepared by Professor Vallbe, is now on box.net. Enjoy.