| Line 3: | Line 3: | ||
* [http://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | * [http://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | ||
== Miscellaneous == | == Miscellaneous == | ||
* [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php ProB Publications] | * [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php ProB Publications] | ||
* [http://vl.fmnet.info/b/ Formal Methods Virtual Library] | * [http://vl.fmnet.info/b/ Formal Methods Virtual Library] | ||